abstract:In algebraic geometry, a projective variety over an algebraically closed field k is a subset of some projective n-space Pn over k that is the zero-locus of some finite family of homogeneous polynomials of n + 1 variables with coefficients in k, that generate a prime ideal, the defining ideal of the variety. If the condition of generating a prime ideal is removed, such a set is called a projective algebraic set.